[[Graded Lie algebra]]
# Category of graded Lie algebras

Let $(\mathfrak{A}, +)$ be a [[monoid]] and $\mathbb{K}$ be a [[field]].
The **category of $\mathfrak{A}$-graded Lie algebras** $\cat{Gr}_{\mathfrak{A}} \cat{Lie}_{\mathbb{K}}$ over $\mathbb{K}$ is a [[category]] where an object is a $\mathfrak{A}$-[[graded Lie algebra]] and a morphism is a [[graded algebra homomorphism]]. #m/def/lie


#
---
#state/tidy  | #lang/en | #SemBr